Quantitative Approach to Safety Assessment of the Railway Interlocking System
نویسندگان
چکیده
The paper deals with a quantitative approach to safety assessment process applicable to the safety-related system, specially the railway interlocking one. The authors present the methodology based on the Failure Mode and Effects Analysis (FMEA) and the Fault Tree Analysis (FTA) that is applicable to performing safety analysis of both electronic and computer based systems. The mathematical basis for the FTA is detailed, with a special attention paid to the mechanism used to determine probability of hazardous events based on primary event occurrence. For the sake of better understanding, examples of Markovs graphs for a different number of simultaneous hazardous faults are given. Relation between the presented approach and European Standards is indicated.
منابع مشابه
Automated Verification of Safety Properties in Railway Interlocking Systems Defined with Ladder Logic
In this project the verification of safety conditions for the control of a railway interlocking system written in ladder logic is carried out. All translation steps have been implemented and tested for a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the translatio...
متن کاملAutomated Verification of Signalling Principles in Railway Interlocking Systems
In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the trans...
متن کاملBehavior of a Computer Based Interlocking System Under Transient Hardware Faults
The paper addresses the safety analysis and evaluation of a hard real-time, interlocking, railway control system. The major objective is to demonstrate an efficient methodology capable of capturing crucial system dependability characteristics while allowing meaningful results to be obtained within a reasonable time. The evaluation is done by simulating the execution of the control software unde...
متن کاملAutomated Verification of Signalling Principles in Railway Interlocking Systems 1 Karim
In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the trans...
متن کاملAutomated Verification of Signalling Principles in Railway Interlockings
In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the trans...
متن کامل